<?php
//000000086400s:12:"12047222.475";
?>